21. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
22. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
23. Content and modality
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;
24. Deontic modality
پدیدآورنده : edited by Nate Charlow and Matthew Chrisman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Philosophy ، Language and languages,، Deontic logic,، Modality )Logic(
رده :
P
107
.
D46
25. Directions in relevant logic
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses
رده :
BC
199
.
M6
.
D57
1989
26. Directions in relevant logic
پدیدآورنده : edited by Jean Norman and Richard Sylvan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(
رده :
BC
199
.
M6D57
1989
27. Displaying modal logic
پدیدآورنده : Heinrich Wansing
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Modality (Logic)
28. Essays in the metaphysics of modality
پدیدآورنده : Plantinga, Alvin.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Modality )Logic(,، Metaphysics
رده :
B945
.
P553
M48
2003
29. First steps in modal logic
پدیدآورنده : Popkorn, Sally
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع :
رده :
QA
9
.
46
.
P67
1994
30. Gentzen calculi for modal propositional logi
پدیدآورنده : / Francesca Poggiolesi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Modality (Logic),Electronic books., local
31. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
32. Intensional and higher-order modal logic: with applications to Montague semantics
پدیدآورنده : Gallin, Daniel
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Intension )Logic(,، Modality )Logic(
رده :
BC
199
.
I5
G3
33. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
34. Intensional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
35. Intensional mathematics
پدیدآورنده : SHAPIRO,STEWART
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
36. Intensional mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Modality (Logic) ;
37. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
38. Interpolation and definability
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
39. Introductory modal logic
پدیدآورنده : Konyndyk, Kenneth.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6
K66
1986
40. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3